V. Jouannaud: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Programming with equalities, subsorts, overloading, and parametrization in OBJ

Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis

Journal:

The Journal of Logic Programming

Year:

1992

Language:

english

File:

PDF, 1.46 MB

english, 1992

2

[Lecture Notes in Computer Science] Functional Programming Languages and Computer Architecture Volume 201 || Compiling pattern matching

Jouannaud, Jean-Pierre

Year:

1985

Language:

english

File:

PDF, 664 KB

english, 1985

3

[Lecture Notes in Computer Science] Functional Programming Languages and Computer Architecture Volume 201 || How to replace failure by a list of successes a method for exception handling, backtracking, and pattern matching in lazy functional languages

Jouannaud, Jean-Pierre

Year:

1985

Language:

english

File:

PDF, 823 KB

english, 1985

4

Tomographie d’émission monophotonique couplée au scanner et pathologie osseuse

Dimitri Papathanassiou, Claire Bruna-Muraille, Christelle Jouannaud, Laurence Gagneux-Lemoussu, Jean-Paul Eschard, Jean-Claude Liehn

Journal:

Revue du Rhumatisme

Year:

2009

Language:

french

File:

PDF, 501 KB

french, 2009

5

Completion of a Set of Rules Modulo a Set of Equations

Jouannaud, Jean-Pierre, Kirchner, Hélène

Journal:

SIAM Journal on Computing

Year:

1986

Language:

english

File:

PDF, 5.12 MB

english, 1986

6

Comparaison des performances diagnostiques de la TEP au FNa avec et sans scanner couplé dans la recherche de métastases osseuses

Moini, S., Papathanassiou, D., Bruna-Muraille, C., Bouharati-Moussa, K., Eymard, J.-C., Savoye, A.-M., Jouannaud, C., Prévost, A., Curé, H., Liehn, J.-C.

Journal:

Médecine Nucléaire

Year:

2013

Language:

french

File:

PDF, 573 KB

french, 2013

7

[IEEE Comput. Sco. Press Sixth Annual IEEE Symposium on Logic in Computer Science - Amsterdam, Netherlands (15-18 July 1991)] [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science - A computation model for executable higher-order algebraic specification languages

Jouannaud, J.-P., Okada, M.

Year:

1991

Language:

english

File:

PDF, 1.15 MB

english, 1991

8

[Lecture Notes in Computer Science] Functional Programming Languages and Computer Architecture Volume 201 || The G-machine: A fast, graph-reduction evaluator

Jouannaud, Jean-Pierre

Year:

1985

Language:

english

File:

PDF, 1.06 MB

english, 1985

9

Prise en charge diagnostique et thérapeutique de l'infection à Helicobacter pylori

Nahon, S., Jouannaud, V., Poupardin, C., Lahmek, P.

Journal:

EMC - Gastro-entérologie

Year:

2008

Language:

french

File:

PDF, 153 KB

french, 2008

10

Drags: A compositional algebraic framework for graph rewriting

Dershowitz, Nachum, Jouannaud, Jean-Pierre

Journal:

Theoretical Computer Science

Year:

2019

Language:

english

File:

PDF, 1.80 MB

english, 2019

11

Decision of adjuvant chemotherapy in intermediate risk luminal breast cancer patients: A prospective multicenter trial assessing the clinical and psychological impact of EndoPredict® (EpClin) use (UCBG 2–14)

Penault-Llorca, Frédérique, Kwiatkowski, Fabrice, Arnaud, Antoine, Levy, Christelle, Leheurteur, Marianne, Uwer, Lionel, Derbel, Olfa, Le Rol, Annick, Jacquin, Jean-Philippe, Jouannaud, Christelle, Qu

Journal:

Year:

2020

Language:

english

File:

PDF, 1.31 MB

english, 2020

12

Termination and completion modulo associativity, commutativity and identity

Jean-Pierre Jouannaud, Claude Marché

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 1.27 MB

english, 1992

13

Preface

Jean-Pierre Jouannaud, Ian Mackie

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 96 KB

english, 2007

14

Automatic Complexity Analysis for Programs Extracted from Coq Proof

Jean-Pierre Jouannaud, Weiwen Xu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 299 KB

english, 2006

15

Inductive-data-type systems

Frédéric Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 198 KB

english, 2002

16

Abstract data type systems

Jean-Pierre Jouannaud, Mitsuhiro Okada

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 3.06 MB

english, 1997

17

Rewrite orderings for higher-order terms in η-long β-normal form and the recursive path ordering

Jean-Pierre Jouannaud, Albert Rubio

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 1.67 MB

english, 1998

18

Specification and proof in membership equational logic

Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 698 KB

english, 2000

19

Editorial

Jean-Pierre Jouannaud

Journal:

Journal of Symbolic Computation

Year:

1987

Language:

english

File:

PDF, 124 KB

english, 1987

20

Unification in Boolean Rings and Abelian Groups

Alexandre Boudet, Jean-Pierre Jouannaud, Manfred Schmidt-Schauss

Journal:

Journal of Symbolic Computation

Year:

1989

Language:

english

File:

PDF, 1.26 MB

english, 1989

21

Membership Equational Logic, Calculus of Inductive Constructions, and Rewrite Logic (Extended Abstract)

Jean-Pierre Jouannaud

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

File:

PDF, 244 KB

1998

22

Coeliac disease in chronic hepatitis C: a French multicentre prospective study

T. THEVENOT, J. DENIS, V. JOUANNAUD, E. MONNET, C. RENOU, H. LABADIE, N. ABDELLI, E. NGUYEN-KHAC, P. DUMOUCHEL, S. BRESSON-HADNI, M. CHOUSTERMAN, V. DI MARTINO, J.-F. CADRANEL

Journal:

Alimentary Pharmacology & Therapeutics

Year:

2007

Language:

english

File:

PDF, 121 KB

english, 2007

23

DIAGNOSTIC YIELD OF WATER ENEMA COMPUTED TOMOGRAPHY IN FIRST-LINE INVESTIGATION OF LOWER GASTROINTESTINAL BLEEDING IN ELDERLY PATIENTS

Stéphane Nahon, Marie Lequoy, Huguette Caugant, Cécile Poupardin, Vincent Jouannaud, Michel Cymbalista, Bruno Lesgourgues

Journal:

Journal of the American Geriatrics Society

Year:

2010

Language:

english

File:

PDF, 67 KB

english, 2010

24

A Methodological View of Constraint Solving

Hubert Comon, Mehmet Dincbas, Jean-Pierre Jouannaud, Claude Kirchner

Journal:

Year:

1999

Language:

english

File:

PDF, 479 KB

english, 1999

25

Syntacticness, Cycle-Syntacticness, and Shallow Theories

H. Comon, M. Haberstrau, J.P. Jouannaud

Journal:

Information and Computation

Year:

1994

File:

PDF, 1.47 MB

1994

26

PREFACE

Jean-Pierre Jouannaud

Journal:

Information and Computation

Year:

1998

File:

PDF, 57 KB

1998

27

Automata-Driven Automated Induction

Adel Bouhoula, Jean-Pierre Jouannaud

Journal:

Information and Computation

Year:

2001

Language:

english

File:

PDF, 206 KB

english, 2001

28

Récepteurs adaptatifs pour transmission de données a grande vitesse

César Macchi, Jean-Pierre Jouannaud, Odile Macchi

Journal:

annals of telecommunications - annales des télécommunications

Year:

1975

File:

PDF, 1.76 MB

1975

29

On multiset orderings

Jean-Pierre Jouannaud, Pierre Lescanne

Journal:

Information Processing Letters

Year:

1982

Language:

english

File:

PDF, 851 KB

english, 1982

30

Automatic proofs by induction in theories without constructors

Jean-Pierre Jouannaud, Emmanuel Kounalis

Journal:

Information and Computation

Year:

1989

Language:

english

File:

PDF, 1.91 MB

english, 1989

31

Liver and inflammatory bowel disease

S. Nahon, J.-F. Cadranel, Olivier Chazouilleres, M. Biour, V. Jouannaud, P. Marteau

Journal:

Gastroentérologie Clinique et Biologique

Year:

2009

File:

PDF, 270 KB

2009

32

Granulomatose systémique révélant une maladie de Whipple : à propos de deux observations

S. Nahon, L. Marie, C. Maurer, A. Bouzahzah, V. Jouannaud, J. Cucherousset, B. Lesgourgues

Journal:

Gastroentérologie Clinique et Biologique

Year:

2009

Language:

french

File:

PDF, 391 KB

french, 2009

33

Traitement d’une télangiectasie gastrique récidivante par ligature élastique

M.-L. Trompette, S. Nahon, T. Tuszynski, C. Poupardin, V. Jouannaud, B. Lesgourgues

Journal:

Gastroentérologie Clinique et Biologique

Year:

2009

Language:

french

File:

PDF, 724 KB

french, 2009

34

Single-photon emission computed tomography combined with computed tomography (SPECT/CT) in bone diseases

Dimitri Papathanassiou, Claire Bruna-Muraille, Christelle Jouannaud, Laurence Gagneux-Lemoussu, Jean-Paul Eschard, Jean-Claude Liehn

Journal:

Joint Bone Spine

Year:

2009

Language:

english

File:

PDF, 470 KB

english, 2009

35

La fistule anale sarcoïdosique existe-t-elle ?

Vincent Jouannaud, Marcel Bonay, Phat N Vuong, Pierre Bauer

Journal:

Gastroentérologie Clinique et Biologique

Year:

2004

Language:

french

File:

PDF, 179 KB

french, 2004

36

Améliorer l’insulinorésistance : un progrès certain dans la prise en charge des malades atteints de stéato-hépatite non alcoolique… mais l’histoire continue

Jean-François Cadranel, Vincent Jouannaud, Sylvie Loison

Journal:

Gastroentérologie Clinique et Biologique

Year:

2004

Language:

french

File:

PDF, 65 KB

french, 2004

37

Prise en charge d’un hydrothorax hépatique

Jean-François Cadranel, Vincent Jouannaud, Jean-Jacques Duron

Journal:

Gastroentérologie Clinique et Biologique

Year:

2004

Language:

french

File:

PDF, 206 KB

french, 2004

38

Usefulness of routine analysis of ascitic fluid at the time of therapeutic paracentesis in asymptomatic outpatients: Results of a multicenter prospective study

Rémy Romney, Philippe Mathurin, Nathalie Ganne-Carrié, Chantal Halimi, Abdel Medini, Patrice Lemaitre, Philippe Gruaud, Vincent Jouannaud, Thierry Delacour, Hamza Boudjema, Arnaud Pauwels, Jean-Claude

Journal:

Gastroentérologie Clinique et Biologique

Year:

2005

File:

PDF, 721 KB

2005

39

Intérêt de la scintigraphie péritonéale pour le diagnostic d’hydrothorax hépatique

Céline Lobry, Vincent Jouannaud, Béatrice Zaneski, Nourr-Eddine Faroui, Michel Wioland, Abderraouf Khamassi, Pierre Le Lann, Jean François Cadranel

Journal:

Gastroentérologie Clinique et Biologique

Year:

2005

Language:

french

File:

PDF, 135 KB

french, 2005

40

Cystic dystrophy of the duodenal wall associated with chronic alcoholic pancreatitis: Clinical features, diagnostic procedures and therapeutic management in a retrospective multicenter series of 23 patients

Vincent Jouannaud, Pierre Coutarel, Hervé Tossou, Joël Butel, René-Louis Vitte, Florence SkiNaZi, Martine Blazquez, Hervé Hagège, Christian Bories, Philippe Rocher, Djamel Belloula, Jean-Paul Latrive,

Journal:

Gastroentérologie Clinique et Biologique

Year:

2006

File:

PDF, 128 KB

2006

41

CA 70-Prévalence de la maladie coeliaque au cours de l’hépatite chronique virale C : résultat final d’une étude prospective multicentrique

T. Thévenot, J. Denis, V. Jouannaud, C. Renou, J. Crouzet, H. Labadie, N. Abdelli, E. Nguyen-Khac, P. Dumouchel, S. Bresson-Hadni, M. Chousterman, J.F. Cadranel

Journal:

Gastroentérologie Clinique et Biologique

Year:

2006

Language:

french

File:

PDF, 62 KB

french, 2006

42

P.261 Rentabilité diagnostique du coloscanner à l’eau en première intention dans le bilan d’une hémorragie digestive basse extériorisée ou non chez la personne âgée

M. Lequoy, S. Nahon, H. Caugant, P. Lahmek, C. Poupardin, V. Jouannaud, M. Cymbalista, B. Lesgourgues

Journal:

Gastroentérologie Clinique et Biologique

Year:

2009

Language:

french

File:

PDF, 94 KB

french, 2009

43

[Lecture Notes in Computer Science] Algebra, Meaning, and Computation Volume 4060 || Sheaves and Structures of Transition Systems

Futatsugi, Kokichi, Jouannaud, Jean-Pierre, Meseguer, José

Year:

2006

Language:

english

File:

PDF, 225 KB

english, 2006

44

Diagnostic Yield of Water Enema Computed Tomography (WECT) in First Line Investigation for Lower GI Bleeding in Elderly Patients

Stéphane Nahon, Marie Lequoy, Huguette Houssard-Caugant, Cécile Poupardin, Vincent Jouannaud, Pierre Lahmek, Michel Cymbalista, Bruno Lesgourgues

Journal:

Gastrointestinal Endoscopy

Year:

2009

Language:

english

File:

PDF, 58 KB

english, 2009

45

From diagrammatic confluence to modularity

Jouannaud, Jean-Pierre, Liu, Jiaxiang

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 279 KB

english, 2012

46

P210 SOCIO-ECONOMIC STATUS AND DEPRIVATION IN CROHN'S DISEASE: A CASE-CONTROL STUDY

S. Nahon, P. Lahmek, B. Delas, J. Faurel, J. Lemeunier, C. Poupardin, V. Jouannaud, B. Lesgourgues

Journal:

Journal of Crohn's and Colitis Supplements

Year:

2008

Language:

english

File:

PDF, 73 KB

english, 2008

47

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 202 || Basic features and development of the critical-pair/completion procedure

Jouannaud, Jean-Pierre

Year:

1985

Language:

english

File:

PDF, 2.72 MB

english, 1985

48

6 months versus 12 months of adjuvant trastuzumab for patients with HER2-positive early breast cancer (PHARE): a randomised phase 3 trial

Pivot, Xavier, Romieu, Gilles, Debled, Marc, Pierga, Jean-Yves, Kerbrat, Pierre, Bachelot, Thomas, Lortholary, Alain, Espié, Marc, Fumoleau, Pierre, Serin, Daniel, Jacquin, Jean-Philippe, Jouannaud, C

Journal:

The Lancet Oncology

Year:

2013

Language:

english

File:

PDF, 358 KB

english, 2013

49

[Lecture Notes in Computer Science] Algebra, Meaning, and Computation Volume 4060 || A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages

Futatsugi, Kokichi, Jouannaud, Jean-Pierre, Meseguer, José

Year:

2006

Language:

english

File:

PDF, 446 KB

english, 2006

50

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 202 || Deciding algebraic properties of monoids presented by finite church-rosser Thue systems

Jouannaud, Jean-Pierre

Year:

1985

Language:

english

File:

PDF, 742 KB

english, 1985

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски